﻿Főfőfőőő nemtudommi

> import Lib.Logic
> import Lib.Set
> import Lib.BinaryRelation

Főprogram

> main :: IO ()
> main = do
>     putStrLn "let most_nem_jut_mas eszembe = most_nem_jut_mas eszembe"
>     return()